type scheme - mrsekut-p